121. European status report on road safety :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Traffic accidents-- Health aspects-- Europe, Statistics.,Traffic safety-- Europe, Statistics.
رده :
RA772
.
T7
Z36
2009
122. European status report on road safety :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Traffic accidents-- Health aspects-- Europe, Statistics.,Traffic safety-- Europe, Statistics.
رده :
RA772
.
T7
Z36
2009
123. Evolutionary and Biologically Inspired Music, Sound, Art and Design
پدیدآورنده: \ Colin Johnson , Adrian Carballal, João Correia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Evolutionary programming (Computer science) -- Congresses.,Biologically-inspired computing -- Congresses.,Computer music -- Congresses.,برنامه‌نویسی تکاملی (کامپیوتر) -- کنگره ها,موسیقی کامپیوتری -- کنگره ها
رده :
QA
76
.
618
.
E94
2015
E-Book
,
124. FME 2002 :
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
125. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده :
QA
76
.
L28
Vol
.
2391
126. Fluid properties and phase equilibria for chemical process design :
پدیدآورنده: edited by H. Renon
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع: Phase rule and equilibrium- Congresses,Solution (Chemistry)- Congresses
رده :
TP
,
156
,.
E6
,
F54
,
1986
127. Fluid properties and phase equilibria for chemical process design : proceedings of the fourth international conference, Helsingor, Denmark, 11-16 May 1986
پدیدآورنده: edited by H. Renon
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Phase rule and equilibrium,Congresses ، Solution )Chemistry(
رده :
TP
156
.
E6
F54
1986
128. Forensic entomology :
پدیدآورنده: Jeffery Keith Tomberlin (Department of Entomology, Texas A & M University), M. Eric Benbow (Department of Entomology and Department of Osteopathic Medical Specialties, Michigan State University)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Forensic entomology,Entomology-- methods,Forensic Sciences-- methods,Insects-- classification,Postmortem Changes
رده :
RA1063
.
45
.
F665
2015
129. Formal methods for VLSI disign
پدیدآورنده: / edited by Jorgen Staunstrup
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
130. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
131. Foundations of probabilistic logic programming :
پدیدآورنده: Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
132. Four walls and a roof :
پدیدآورنده: Reinier de Graaf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Architectural practice.,Architecture.,Alltag,Architectural practice.,ARCHITECTURE-- Professional Practice.,Architecture.,Architekt,Architektur,Architekturkritik,Architekturtheorie,Berufsbild,Berufspraxis
رده :
NA1995
.
G69
2017
133. Global defense procurement and the F-35 joint strike fighter /
پدیدآورنده: Bert Chapman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: United States.-- Procurement.,United States.,F-35 (Military aircraft)-- Design and construction.,Armed Forces-- Procurement.,TECHNOLOGY & ENGINEERING / Military Science
رده :
UG1242
.
F5
C43
2019
134. Governance for affordable energy :
پدیدآورنده: Steward, Thomas William
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Affordability,Domestic Consumer,Energy,Governance
135. HCI in mobility, transport, and automotive systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automated vehicles ;
137. Handbook of research on creative problem-solving skill development in higher education
پدیدآورنده: Chunfang Zhou (Aalborg University, Denmark).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Hochschulbildung.,Kreatives Denken.,Problemlösen.
رده :
LB2395
.
35
C486
9999
138. Haptic and audio interaction design
پدیدآورنده: / Rolf Nordahl ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Human-computer interaction, Congresses,User interfaces (Computer systems), Congresses
رده :
QA76
.
9
.
H85H35
2010
139. Hardware/software codesign : proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark
پدیدآورنده: Sponsored by ACM SIGDA, ...]et al.[; with support by Codence...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer-aided design,Congresses ، Systems engineering,Congresses ، System design
رده :
QA
76
.
9
.
S88I565
2001
140. Healthcare systems :
پدیدآورنده: edited by Jeffrey Braithwaite, Russell Mannion, Yukihiro Matsuyama, Paul G. Shekelle, Stuart Whittaker, Samir Al-Adawi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Health services administration.,Total quality management.,Health services administration.,POLITICAL SCIENCE-- Public Policy-- Social Security.,POLITICAL SCIENCE-- Public Policy-- Social Services & Welfare.,Total quality management.
رده :
RA441
.
H335
2018eb
